<html>
  <body>
    <todo-list></todo-list>
    <script type="module" src="./hot-elements/patch-custom-element.js"></script>
    <script type="module" src="./src/todo-list.js"></script>
  </body>
</html>
